Verification of Multiple Agent Knowledge-Based Systems
نویسنده
چکیده
The purpose of this paper is to extend verification tests to systems with multiple autonomous agent knowledge bases. Using a classic approach to verification, this paper focuses on tests concerned with consistency, completeness and correctness. In particular, this paper focuses on those unique issues that are generated as we go from single agent systems to multiple agent systems. This paper is concerned with inter agent verification, since previous results can be used for intra agent verification. For example, consider one agent with the rule "ifA then B" and a rule in another agent "irA then C". In such a setting, the agents would be constantly at odds. Alternatively we might find the following rules in one agent ("if A then B" and "if C then A"), while another agent that interacts with that agent might have the rule ("if B then C"). With those two interacting rule bases a dialogue starting with "A" could cycle indefinitely. One potential approach to multiple agent systems is to compare the knowledge base of each subset of agents to determine the existence verification issues. Where the number of agents is small this approach is feasible. However, for even medium size systems this approach explodes computationally. This paper finds that many of the multiple agent verification tests can be conducted on a meta rule set generated from all the rules contained in each of the agents’ knowledge bases thus minimizing computational effort. In addition, this paper finds that the property of agent "isolation" is an important verification criteria in multiple agent systems.
منابع مشابه
Verifying Multi-Agent Knowledge-Based Systems using COVERAGE
Anomaly detection, as performed by the COVER tool, has proven to be a useful method for verification of knowledge-based systems. The increasing development of distributed knowledge-based systems based upon the multi-agent architecture demands techniques for the verification of these systems. This paper describes the COVERAGE too1 -an extension of COVER designed to perform anomaly detection on m...
متن کاملDetecting Exceptions in Commitment Protocols: Discovering Hidden States
Open multiagent systems consist of autonomous agents that are built by different vendors. In principle, open multiagent systems cannot provide any guarantees about the behaviors of their agents. This means that when agents are working together, such as carrying out a business protocol, one agent’s misbehavior may potentially create an exception for another agent and obstruct its proper working....
متن کاملAn Unsupervised Learning Method for an Attacker Agent in Robot Soccer Competitions Based on the Kohonen Neural Network
RoboCup competition as a great test-bed, has turned to a worldwide popular domains in recent years. The main object of such competitions is to deal with complex behavior of systems whichconsist of multiple autonomous agents. The rich experience of human soccer player can be used as a valuable reference for a robot soccer player. However, because of the differences between real and simulated soc...
متن کاملUsing ILP-Systems for Verification and Validation of Multi-agent Systems
Most applications of inductive logic programming focus on prediction or the discovery of new knowledge. We describe a less common application of ILP namely veriication and validation of knowledge based systems and multi-agent systems. Using inductive logic programming, partial declarative speciications of the software can be induced from the behavior of the software. These rules can be readily ...
متن کامل